//
// Created by Administrator on 25-8-12.
//

#ifndef PRINTF_RTOS_H
#define PRINTF_RTOS_H
void printf_rtos(const char *format,...);
#endif //PRINTF_RTOS_H
